Nuprl Definition : loc-on-path
11,40
postcript
pdf
loc-on-path(
es
;
i
;
L
) == (
i
map(
e
.loc(
e
);
L
))
latex
clarification:
loc-on-path(
es
;
i
;
L
) == (
i
map(
e
.es-loc(
es
;
e
);
L
)
Id)
latex
Definitions
(
x
l
)
,
map(
f
;
as
)
,
x
.
A
(
x
)
,
loc(
e
)
,
Id
FDL editor aliases
loc-on-path
origin
map(
e.loc(e);L))
map(e.es-loc(es; e);L) Id) map(e.loc(e);L))
map(e.es-loc(es; e);L) Id) l)x.A(x)